منابع مشابه
Reasoning about Choice
We present a logic for reasoning about choice. Choice CTL (C-CTL) extends the well-known branching-time temporal logic CTL with choice modalities, “3” and “2”. An example C-CTL formula is 3AFhappy , asserting that there exists a choice that will lead to happiness. C-CTL is related to both STIT logics and temporal cooperation logics such as ATL, but has a much simpler and (we argue) more intuiti...
متن کاملReasoning About Social Choice Functions
We introduce a logic specifically designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent preferences. We establish a correspondence between formulae in the logic and properties of social choice functions, and show that the logic is expressively complete with respect to social choice functions, i.e., ...
متن کاملLexical Choice Criteria in Language Generation
In natural language generation (NLG), a semantic representation of some k i n d possibly enriched with pragmatic attributes is successively transformed into one or more linguistic utterances. No matter what particular architecture is chosen to organize this process, one of the crucial decisions to be made is lexicalization: selecting words that adequately express the content that is to be commu...
متن کاملBest-choice Problems with Dependent Criteria
The multiple criteria secretary problem in which the criteria are independent and the objective is to choose an applicant that is best in at least one criterion was solved by Gnedin (1981). We generalize this result to the case of two criteria that may be dependent. Two models, one assuming independence of the vectors of ranks and the other assuming independence of the variables on which the ra...
متن کاملCriteria for demonstrating postcopulatory female choice.
The recent discussion of Birkhead (1998) may cause confusion regarding the nature of cryptic female choice and how to test for its occurrence. Here I attempt to (1) clarify the distinction between cryptic female choice and ‘‘sperm choice,’’ the primary focus of Birkhead’s discussion; (2) present more appropriate criteria for demonstrating cryptic female choice; (3) describe errors resulting fro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: NEW UNIVERSITY: TECHNICAL SCIENCES
سال: 2014
ISSN: 2221-9552
DOI: 10.15350/2221-9552.2014.7-8.001